1. The Semantics and Proof Theory of the Logic of Bunched Implications
المؤلف: by David J. Pym.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic.,Philosophy (General).
تعداد ۲ پاسخ غیر تکراری از ۳ پاسخ تکراری در مدت زمان ۱,۳۹ ثانیه یافت شد.
